(0 20 9)(1 17 13)(2 14 12)(3 7 5)(4 19 16)(6 10 8)(11 18 15)
ALLOWS (11/8)-SEQUENCE
1: (1 13 17)
(0 20 9)(1 13 17)(2 14 12)(3 7 5)(4 19 16)(6 10 8)(11 18 15)
2: (4 19 16)
(0 20 9)(1 13 17)(2 14 12)(3 7 5)(4)(6 10 8)(11 18 15)(16)(19)
3: (1 13 17)
(0 20 9)(1)(2 14 12)(3 7 5)(4)(6 10 8)(11 18 15)(13)(16)(17)(19)
4: (2 14 12)
(0 20 9)(1)(2)(3 7 5)(4)(6 10 8)(11 18 15)(12)(13)(14)(16)(17)(19)